141. The computer user
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers,، Electronic data processing,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C612
142. The design and analysis of computer algorithms /
پدیدآورنده: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36
143. The (new) Turing omnibus :
پدیدآورنده: A.K. Dewdney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
144. The secret life of programs :
پدیدآورنده: by Jonathan E. Steinhart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Browsers (Computer programs),Computer programming.,Programming languages (Electronic computers),Browsers (Computer programs),Computer programming.,COMPUTERS-- Computer Science.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
S735
2019
145. Truth, deduction, and computation
پدیدآورنده: / R.E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
146. Type systems for distributed programs :
پدیدآورنده: Ornela Dardha
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
رده :
QA76
.
76
.
V47
147. Understanding computers :
پدیدآورنده: Deborah Morley, Charles S. Parker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computadoras.,Computers.,Electronic data processing.
148. XML Schema /
پدیدآورنده: Eric van der Vlist.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: XML (Document markup language),COMPUTERS-- Data Processing.,COMPUTERS-- Programming Languages-- XML.,Langages de balisage.,XML (Document markup language),XML.
رده :
QA76
.
76
.
H94
V36
2002
149. XML for data management /
پدیدآورنده: Peter Aiken, David Allen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing.,XML (Document markup language),COMPUTERS-- Programming Languages-- HTML.,COMPUTERS-- Programming Languages-- XML.,Electronic data processing.,Electronic data processing.,XML (Document markup language),XML (Document markup language)
رده :
QA76
.
76
.
H94
A35
2004eb
150. ایجاد سیستم های معاملاتی خودکار در زبان MQL 5
پدیدآورنده: تالیف و ترجمه: فرهاد سلطانی,سلطانی? فرهاد
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع: ارز -- داده پردازی Foreign exchange -- Data processing زبان های برنامه نویسی کامپیوتر Programming languages )Electronic computers(
رده :
HG
3851
/
س
8
الف
9
151. برنامهنویسی شاخصهای تکنیکی و معاملات خودکار در بازار فارکس به زبان MQL
پدیدآورنده: / تالیف و ترجمه رامین یزدانشناس .,یزدانشناس
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: ارز,Foreign exchange,زبانهای برنامهنویسی کامپیوتر,Programming languages (Electronic computers), -- داده پردازی, -- Data processing
رده :
HG
۳۸۵۱
/
ی
۴
ب
۴ ۱۳۹۴